"propositional calculus" meaning in English

{
  "etymology_text": ": propositional calculus < → δείτε τις λέξεις propositional και calculus",
  "forms": [
    {
      "form": "propositional calculus"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Λογική (αγγλικά)",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "η προτασιακός λογισμός"
      ],
      "id": "el-propositional_calculus-en-noun-wSw4wtdN",
      "raw_tags": [
        "λογική"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "propositional logic"
    }
  ],
  "word": "propositional calculus"
}

{
  "etymology_text": ": propositional calculus < → δείτε τις λέξεις propositional και calculus",
  "forms": [
    {
      "form": "propositional calculus"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "Λογική (αγγλικά)"
      ],
      "glosses": [
        "η προτασιακός λογισμός"
      ],
      "raw_tags": [
        "λογική"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "propositional logic"
    }
  ],
  "word": "propositional calculus"
}